/LMAR=0/XLINE=10/FONT#0=BASL30[ IJ,DBL]/FONT#1=SIGN57/FONT#2=SHD40/FONT#3=BASI30[ IJ,DBL]/FONT#4=BASB30/FONT#5=NGR25/FONT#6=NGR20/FONT#7=GRFX25[NUM,AJC]/TMAR=100/PMAR=2100/BMAR=100



␈↓"∧␈↓ x␈↓␈α?␈α?␈α?␈α?␈α⊂␈↓↓THEORY  FORMATION:␈↓

␈↓"π␈↓ x␈↓␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α7␈↓¬Some Initial Thoughts on␈↓

␈↓"π␈↓ x␈↓␈α?␈α?␈α/␈↓↓A  SYSTEM  WHICH  CAN
␈↓"π␈↓ x␈↓↓␈α?␈α?␈α≡DEVELOP  MATHEMATICAL
␈↓"π␈↓ x␈↓↓␈α?␈α?␈α?␈α∀CONCEPTS  INTUITIVELY␈↓










␈↓"π␈↓ x␈↓␈↓αDOUG LENAT


␈↓"π␈↓ x␈↓αSTANFORD UNIVERSITY
␈↓"π␈↓ x␈↓αARTIFICIAL INTELLIGENCE LABORATORY



␈↓"π␈↓ x␈↓SECOND  SKETCH

␈↓"π␈↓ x␈↓␈↓βNot for distribution␈↓














␈↓"∧␈↓ x␈↓␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α;␈↓εJanuary 16, 1975␈↓ λ